(check (= (+ 4u32 7u32) 11u32))
